System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
151	Photochemistry and aerosol modeling Polyphemus Training Session About Purpose: introduction to the Polyphemus system : preprocessing raw data and launching one simulation. Very basic post-processing is also presented. Add to Reading List Source URL: cerea.enpc.fr Language: English - Date: 2010-06-03 09:23:10 Computing Preprocessor Programming language implementation MOZART Polyphemus Configuration file Deb Software Mythology
152	Multicore Tools SHIM Multicore HW Software-Hardware Interface for Multi-many-core Add to Reading List Source URL: www.multicore-association.org Language: English - Date: 2014-04-02 13:05:43 Parallel computing Computing Computer programming Computer architecture Multicore Association MCAPI Manycore processor Multi-core processor Embedded system Vector Fabrics B.V.
153	Dyalog for UNIX Installation and Configuration Guide Dyalog version 15.0 Dyalog is a trademark of Dyalog Limited Copyright © by Dyalog Limited Add to Reading List Source URL: docs.dyalog.com Language: English - Date: 2016-08-01 04:18:17 Software Computing System software APL programming language family Archive formats Dpkg Ubuntu IBM software APL RPM Package Manager Package manager Advanced Packaging Tool
154	The F# 3.0 Language Specification Note: This documentation is the specification of the 3.0 release of F# made by Microsoft Research and the Microsoft Developer Division in SeptemberDiscrepancies may exist between Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Software engineering Computer programming Computing Functional languages F Sharp Strong and weak typing Type system Expression C Operator Pattern matching C Sharp syntax
155	Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data. Add to Reading List Source URL: www.bioconductor.org Language: English - Date: 2016-06-29 15:15:31 Software engineering Computer programming Object-oriented programming Computing Method This Common Lisp Object System Objective-C Constructor Class Union type C++ classes
156	Fortran Program Specialization Paul Kleinrubatscher, Albert Kriegshaber, Robert Zöchling, Robert Glück1 University of Technology Vienna, Institut für Computersprachen, Argentinierstraße 8, A-1040 Vienna, Austria E-ma Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:44 Software engineering Computing Computer programming Procedural programming languages Programming languages Programming language implementation Control flow Compiler optimizations Fortran Partial evaluation Programming language Type system
157	A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b Add to Reading List Source URL: einarj.at.ifi.uio.no Language: English - Date: 2015-01-21 15:14:28 Software engineering Computing Programming language theory Type theory Concurrent programming languages Program analysis Type system Go Sheaf Orbifold CurryHoward correspondence
158	The Speakers Jawad Elomari he is a lead researcher at ORTEC B.V. on mixed integer nonlinear optimization. He has worked in various industries like supply chain, pharmaceuticals, and engineering design. His research inter Add to Reading List Source URL: or2015.univie.ac.at Language: English - Date: 2015-07-09 02:39:51 Operations research Numerical analysis Mathematical optimization Mathematical analysis Mathematics Linear programming Multi-objective optimization Computer algebra systems Numerical software General Algebraic Modeling System Artelys Knitro
159	The Design and Implementation of Berkeley Lab’s Linux Checkpoint/Restart Jason Duell Lawrence Berkeley National Laboratory <> Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2012-09-05 12:42:01 Computing Software Computer architecture Concurrency control Application checkpointing Application programming interfaces Cluster computing Callback Thread Single system image Asynchronous I/O Scheduling
160	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference

UPDATE